Proof theory - PDFSEARCH.IO - Document Search Engine

Proof theory
Results: 1637

#	Item
51	LNCSBatch Proofs of Partial Knowledge Add to Reading List Source URL: homes.soic.indiana.edu Language: English - Date: 2016-05-12 20:00:31 Cryptography Mathematics Computational complexity theory Proof theory Zero-knowledge proof Proof of knowledge IP Soundness Distribution
52	Contemporary Mathematics K(n + 1) equivalence implies K(n) equivalence W. Stephen Wilson Abstract. We give an entirely different proof of a recent result of Bousfield’s which states that if there is a map of spaces in Add to Reading List Source URL: www.math.jhu.edu Language: English - Date: 2014-03-30 15:19:14 Algebra Abstract algebra Mathematics Cohomology theories K-theory Algebraic topology Homotopy theory Algebraic geometry Landweber exact functor theorem Cohomology CW complex Spectral sequence
53	Some Notes on Proofs with Alpha Graphs Frithjof Dau Technische Universit¨ at Dresden, Dresden, Germany Add to Reading List Source URL: www.dr-dau.net Language: English - Date: 2007-08-09 21:04:38 Logic Mathematical logic Abstraction Proof theory Propositional calculus Predicate logic Logical truth First-order logic Tautology Existential graph Cut-elimination theorem Well-formed formula
54	Chapter 3 Simple Types We study simple types in this chapter, We first formalize a simply-typed programming language L0 and then establish its type soundness, setting some machinery for development in the following chap Add to Reading List Source URL: www.cs.bu.edu Language: English - Date: 2009-12-18 13:56:03 Computability theory Lambda calculus Theoretical computer science Computer science Mathematics Academia Proof theory
55	Theory and Application of Extractable Functions A Dissertation Presented to the Faculty of the Graduate School of Yale University Add to Reading List Source URL: cs-www.cs.yale.edu Language: English - Date: 2009-07-02 20:00:57 Cryptography Cryptographic hash functions Zero-knowledge proof Function Random oracle Utility
56	Cryptographic Protocols Spring 2015 Slides for Chapter1 (part 2) Definition of zero-knowledge (ZK) Add to Reading List Source URL: www.crypto.ethz.ch Language: English - Date: 2015-03-06 05:37:28 Cryptography Computing Computational complexity theory Proof of knowledge IP Distribution Challengeresponse authentication Communications protocol ZK Zero-knowledge proof
57	User Interaction with the Matita Proof Assistant Andrea Asperti (), Claudio Sacerdoti Coen (), Enrico Tassi () and Stefano Zacchiroli () Departm Add to Reading List Source URL: matita.cs.unibo.it Language: English - Date: 2007-05-25 11:04:13 Automated theorem proving Software Theoretical computer science Proof assistants Functional languages Type theory Matita Formal methods Calculus of constructions Mathematical proof Automated reasoning Theorem
58	Gentzen calculi for the existence predicate Matthias Baaz and Rosalie Iemhoff∗ Institute for Discrete Mathematics and Geometry E104, Technical University Vienna, Wiedner Hauptstrasse 8-10, 1040 Vienna, Austria. baaz@lo Add to Reading List Source URL: www.phil.uu.nl Language: English - Date: 2008-12-12 07:17:03 Logic Mathematical logic Abstraction Proof theory Model theory Non-classical logic Predicate logic Philosophical logic Natural deduction Sequent calculus Sequent First-order logic
59	LNCSA Universally Composable Mix-Net Add to Reading List Source URL: www.nada.kth.se Language: English - Date: 2012-05-30 08:39:36 Cryptography Public-key cryptography Computational complexity theory Proof of knowledge Zero-knowledge proof IP Raspberry Pi
60	An Eﬃcient Parallel Repetition Theorem Johan H˚ astad1 , Rafael Pass2, Douglas Wikstr¨ om3 , and Krzysztof Pietrzak4 1 KTH, Stockholm, supported by ERC grant Add to Reading List Source URL: www.nada.kth.se Language: English - Date: 2012-05-30 08:53:38 Computational complexity theory Cryptography Theory of computation Probabilistic complexity theory IP Zero-knowledge proof Soundness PP Entropy NP Randomized algorithm Interactive proof system